NOTEBOOK CHAPTER "Description" ATTR "Name" ATTR "Presentation" ATTR "Description" lines:5 ATTR "Comment" lines:5 ATTR "External documentation" ATTR "Collaborative documentation" CHAPTER "Conditions" ATTR "Preconditions" ATTR "Endconditions - case of success" ATTR "Endconditions - case of failure" ATTR "Postconditions" CHAPTER "Details" ATTR "Details" ATTR "Details - others" lines: 5 ATTR "Prototyping information" lines:15 CHAPTER "Extension points" ATTR "Extension points"